description 論理
description logic
用語
individual
class。concept
property。role
基本
$ \cal AL属性言語 attributive language
原子的否定（公理の左辺に現れない概念名の否定）atomic negation (negation of concept names that do not appear on the left-hand side of axioms)
概念の共通部分 Concept intersection
普遍的制約条件 universal restrictions
限定存在量化 limited existential quantification
$ \cal FLフレームベース記述言語 frame based description language
概念の交差関係 concept intersection
普遍的制約条件 universal restrictions
限定存在量化 limited existential quantification
役割制約 role restriction
$ \cal EL実存的言語 existential language
概念の交差関係 concept intersection
実存的制約条件（完全な実存量化の場合）existential restrictions (of full existential quantification)
擴張
$ \cal Ffunctional properties, a special case of uniqueness quantification
機能特性（一意性の定量化の特殊なケース）
$ \cal Efull existential qualification (existential restrictions that have fillers other than$ \top)
完全存在量化（$ \top以外の値を持つ存在量化制約）
$ \cal Uconcept union
概念の和集合
$ \cal Ccomplex concept negation
複雑な概念否定
$ \cal Hrole hierarchy (subproperties: rdfs:subPropertyOf)
役割階層構造（部分特性：rdfs:subPropertyOf）
$ \cal Rlimited complex role inclusion axioms; reflexivity and irreflexivity; role disjointness
限定された複雑な役割包含公理；反射性および非反射性；役割の非包含関係
$ \cal Onominals (enumerated classes of object value restrictions: owl:oneOf, owl:hasValue)
名辞（オブジェクト値制約の列挙クラス：owl:oneOf、owl:hasValue）
$ \cal Iinverse properties
逆特性
$ \cal Ncardinality restrictions (owl:cardinality, owl:maxCardinality), a special case of counting quantification
基数制約（owl:cardinality、owl:maxCardinality）――計数定量化の特殊なケース
$ \cal Qqualified cardinality restrictions (available in OWL 2, cardinality restrictions that have fillers other than$ \top)
条件付き基数制約（OWL 2で利用可能；$ \top以外の値を持つ基数制約）
$ \cal ^{(D)}use of datatype properties, data values or data types
データ型プロパティ、データ値、またはデータ型の使用
基本の擴張ではない體系
$ \cal San abbreviation for$ \cal ALCwith transitive roles
$ \cal FL^-a sub-language of$ \cal FL, which is obtained by disallowing role restriction. This is equivalent to$ \cal ACwithout atomic negation
$ \cal FL_oa sub-language of$ \cal FL^-, which is obtained by disallowing limited existential quantification
$ \cal EL^{++}alias for$ \cal ELRO
OWL2 は$ \cal SROIQ
OWL-DL は$ \cal SHOIN
OWL-Lite は$ \cal SHIF
fuzzy description logic